external equivalence

外部等价